1. Computer-aided verification 90 : proceedings of a DIMACS Workshop, June 18-21, 1990

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design

رده :
TK
7874
.
D55
1990